<?php

class RechercheTermine
{
	public $termine;
}


?>
